\documentclass{article}
\usepackage{mathtools} 
\usepackage{fontspec}
\usepackage[UTF8]{ctex}
\usepackage{amsthm}
\usepackage{mdframed}
\usepackage{xcolor}
\usepackage{amssymb}
\usepackage{amsmath}


% 定义新的带灰色背景的说明环境 zremark
\newmdtheoremenv[
  backgroundcolor=gray!10,
  % 边框与背景一致，边框线会消失
  linecolor=gray!10
]{zremark}{说明}


\begin{document}
\title{8.5 注释}
\author{张志聪}
\maketitle

\section*{引理 8.5.14}

\begin{enumerate}
  \item 文中“现在我们开始严格的证明”这一段，是如何利用“选择公理”的？
  
  利用了命题8.4.7的形式，但这里的是把以$x_0$为最小元素的良序子集$Y$作为单个元素了，
  即命题8.4.7中的定义域是一个集合的集合，
  \begin{align*}
    X := \{Y_0, Y_1, \dots\}
  \end{align*}

  而值域则是引理8.5.12中的$X$（注意：不是命题8.4.7中的$X$）
\end{enumerate}



\end{document}